Sur les Bathynella de Roumanie: B.(B.) boteai Serban, B.(B.) vaducrisensis N.Sp., B.(B.) plesai Serban et B.(B.) motrensis Serban (Bathynbellacea, Bathynellidae) Première partie
نویسندگان
چکیده
منابع مشابه
Bb Ohm's Theorem for Bb Ohm Trees
We prove that adding to the pure-calculus a non-deterministic choice operator and a standard numeralsystem we obtain a language which internally discriminates two-terms if and only if they have diierent BB ohm trees.
متن کاملTeaching Statement—Constantin Serban
One of the valuable and enjoyable experiences I had as a graduate student was to teach and interact with the students in my class. An interactive and dynamic class helps motivate and engage students in the studying process. I consider teaching to be a beneficial experience for the teacher as well. Teaching encourages me to prepare the material in a systematic way, thus providing new insights in...
متن کاملA new BB forceps.
Retained intraocular BBs are difficult to remove. According to manufacturers' specifications, BBs have a spherical diameter of 4.5 mm and a copper plate covering a steel core. They have only moderate magnetic properties because of the copper plate cover and they are too large to be grasped by almost all intraocular forceps and, therefore, present a problem when they are retained in the eye afte...
متن کاملOptimizing Bb Uchi Automata
We describe a family of optimizations implemented in a translation from a lin ear temporal logic to B uchi automata Such optimized automata can enhance the e ciency of explicit state model checking as practiced in tools such as Spin Some of our optimizations are applied during preprocessing of temporal formulas others are applied during the translation algorithm itself while other key optimizat...
متن کاملDGZfP Proceedings BB 90-CD
Active Fiber Composites (AFC) manufactured at EMPA with commercially available piezoelectric ceramic fibers have been investigated for their potential use as Acoustic Emission (AE) sensors. AFC elements have been evaluated with methods derived from AE sensor characterization as well as additional measurements. Some commercial AE sensor types have been evaluated with the same methods for compari...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Speleology
سال: 1975
ISSN: 0392-6672,1827-806X
DOI: 10.5038/1827-806x.7.4.4